[next] [prev] [prev-tail] [tail] [up]

Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 94 240 927957 166 0 183 0

N.S.

1 1.00 0.59 1.51 5836.21 1.04 0.00 1.15 0.00

time (sec)

N/A 0.601 0.241 4.263 17.267 0.331 0.000 0.464 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 78 194 38386 149 0 149 160

N.S.

1 1.00 0.66 1.64 325.31 1.26 0.00 1.26 1.36

time (sec)

N/A 0.357 0.106 3.727 0.900 0.320 0.000 0.326 0.397

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 60 160 19040 135 0 125 112

N.S.

1 1.00 0.77 2.05 244.10 1.73 0.00 1.60 1.44

time (sec)

N/A 0.113 0.049 2.799 0.593 0.311 0.000 0.320 0.367

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 72 272 91 171 0 165 0

N.S.

1 1.00 0.79 2.99 1.00 1.88 0.00 1.81 0.00

time (sec)

N/A 0.289 0.050 4.608 0.340 0.336 0.000 0.346 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 95 703 18436 259 0 219 0

N.S.

1 1.00 0.80 5.91 154.92 2.18 0.00 1.84 0.00

time (sec)

N/A 0.554 0.241 5.452 0.528 0.332 0.000 0.354 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

165 165 114 1152 76209 284 0 287 0

N.S.

1 1.00 0.69 6.98 461.87 1.72 0.00 1.74 0.00

time (sec)

N/A 0.597 0.538 5.878 2.970 0.339 0.000 0.356 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 261 167 448 0 241 0 0 0

N.S.

1 1.00 0.64 1.72 0.00 0.92 0.00 0.00 0.00

time (sec)

N/A 0.926 0.737 4.919 0.000 0.326 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 142 445 0 224 0 0 0

N.S.

1 1.00 0.66 2.06 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.692 0.605 4.571 0.000 0.319 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 97 327 0 205 0 0 0

N.S.

1 1.00 0.57 1.91 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.489 0.497 4.217 0.000 0.288 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 104 256 0 189 0 0 0

N.S.

1 1.00 0.88 2.17 0.00 1.60 0.00 0.00 0.00

time (sec)

N/A 0.254 0.278 4.095 0.000 0.319 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 63 220 62254 172 0 160 0

N.S.

1 1.00 0.72 2.53 715.56 1.98 0.00 1.84 0.00

time (sec)

N/A 0.094 0.143 4.064 2.480 0.295 0.000 0.394 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 131 364 15722 281 0 220 0

N.S.

1 1.00 1.03 2.87 123.80 2.21 0.00 1.73 0.00

time (sec)

N/A 0.397 0.417 5.186 0.841 0.345 0.000 0.863 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 141 860 47933 339 0 0 0

N.S.

1 1.00 0.83 5.06 281.96 1.99 0.00 0.00 0.00

time (sec)

N/A 0.729 0.770 5.953 1.751 0.364 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 205 1372 0 361 0 354 0

N.S.

1 1.00 0.93 6.21 0.00 1.63 0.00 1.60 0.00

time (sec)

N/A 1.152 0.994 6.819 0.000 0.373 0.000 0.487 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 261 139 467 0 270 0 309 0

N.S.

1 1.00 0.53 1.79 0.00 1.03 0.00 1.18 0.00

time (sec)

N/A 1.075 1.008 5.100 0.000 0.298 0.000 10.413 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 117 397 0 254 0 263 0

N.S.

1 1.00 0.54 1.84 0.00 1.18 0.00 1.22 0.00

time (sec)

N/A 0.727 0.709 4.461 0.000 0.332 0.000 5.930 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 169 100 327 0 237 0 236 0

N.S.

1 1.00 0.59 1.93 0.00 1.40 0.00 1.40 0.00

time (sec)

N/A 0.482 0.486 4.474 0.000 0.343 0.000 3.200 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 87 292 0 223 0 206 0

N.S.

1 1.00 0.69 2.32 0.00 1.77 0.00 1.63 0.00

time (sec)

N/A 0.277 0.382 4.318 0.000 0.313 0.000 1.380 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 80 292 0 223 0 194 0

N.S.

1 1.00 0.63 2.32 0.00 1.77 0.00 1.54 0.00

time (sec)

N/A 0.173 0.321 4.235 0.000 0.315 0.000 0.752 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 126 430 84333 339 0 252 0

N.S.

1 1.00 0.77 2.62 514.23 2.07 0.00 1.54 0.00

time (sec)

N/A 0.745 1.040 5.787 15.383 0.366 0.000 3.036 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 207 142 925 0 404 0 335 0

N.S.

1 1.00 0.69 4.47 0.00 1.95 0.00 1.62 0.00

time (sec)

N/A 1.197 2.256 6.608 0.000 0.375 0.000 0.813 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

264 264 178 1438 0 428 0 0 0

N.S.

1 1.00 0.67 5.45 0.00 1.62 0.00 0.00 0.00

time (sec)

N/A 1.105 4.018 7.575 0.000 0.407 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

159 159 914 411 0 193 0 0 177

N.S.

1 1.00 5.75 2.58 0.00 1.21 0.00 0.00 1.11

time (sec)

N/A 0.242 6.998 13.836 0.000 0.141 0.000 0.000 1.146

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

132 132 872 383 0 179 0 0 166

N.S.

1 1.00 6.61 2.90 0.00 1.36 0.00 0.00 1.26

time (sec)

N/A 0.228 6.853 10.972 0.000 0.125 0.000 0.000 0.669

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

101 101 363 355 0 161 0 0 128

N.S.

1 1.00 3.59 3.51 0.00 1.59 0.00 0.00 1.27

time (sec)

N/A 0.185 5.462 8.569 0.000 0.107 0.000 0.000 0.574

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

70 70 309 321 0 142 0 0 79

N.S.

1 1.00 4.41 4.59 0.00 2.03 0.00 0.00 1.13

time (sec)

N/A 0.208 4.624 6.461 0.000 0.113 0.000 0.000 0.665

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 256 242 0 173 0 0 90

N.S.

1 1.00 3.88 3.67 0.00 2.62 0.00 0.00 1.36

time (sec)

N/A 0.231 4.324 5.780 0.000 0.122 0.000 0.000 1.161

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

95 95 293 399 0 196 0 0 150

N.S.

1 1.00 3.08 4.20 0.00 2.06 0.00 0.00 1.58

time (sec)

N/A 0.292 6.205 7.309 0.000 0.106 0.000 0.000 1.427

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

132 132 865 634 0 219 0 0 177

N.S.

1 1.00 6.55 4.80 0.00 1.66 0.00 0.00 1.34

time (sec)

N/A 0.294 6.805 10.376 0.000 0.130 0.000 0.000 1.863

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

194 194 944 413 0 223 0 0 266

N.S.

1 1.00 4.87 2.13 0.00 1.15 0.00 0.00 1.37

time (sec)

N/A 0.520 6.565 13.625 0.000 0.122 0.000 0.000 1.206

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

161 161 898 385 0 203 0 0 231

N.S.

1 1.00 5.58 2.39 0.00 1.26 0.00 0.00 1.43

time (sec)

N/A 0.335 6.544 11.960 0.000 0.124 0.000 0.000 1.110

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

126 126 369 357 0 179 0 0 153

N.S.

1 1.00 2.93 2.83 0.00 1.42 0.00 0.00 1.21

time (sec)

N/A 0.309 6.144 8.463 0.000 0.123 0.000 0.000 1.108

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

118 118 623 244 0 198 0 0 134

N.S.

1 1.00 5.28 2.07 0.00 1.68 0.00 0.00 1.14

time (sec)

N/A 0.308 7.365 7.375 0.000 0.123 0.000 0.000 1.241

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

120 120 311 513 0 210 0 0 196

N.S.

1 1.00 2.59 4.28 0.00 1.75 0.00 0.00 1.63

time (sec)

N/A 0.332 6.310 7.327 0.000 0.115 0.000 0.000 1.936

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

159 159 883 714 0 239 0 0 229

N.S.

1 1.00 5.55 4.49 0.00 1.50 0.00 0.00 1.44

time (sec)

N/A 0.356 7.893 10.220 0.000 0.123 0.000 0.000 2.138

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

194 194 925 824 0 263 0 0 235

N.S.

1 1.00 4.77 4.25 0.00 1.36 0.00 0.00 1.21

time (sec)

N/A 0.405 8.182 13.635 0.000 0.113 0.000 0.000 2.594

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

237 237 990 441 0 243 0 0 360

N.S.

1 1.00 4.18 1.86 0.00 1.03 0.00 0.00 1.52

time (sec)

N/A 0.720 6.680 16.941 0.000 0.123 0.000 0.000 1.380

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

204 204 944 413 0 223 0 0 323

N.S.

1 1.00 4.63 2.02 0.00 1.09 0.00 0.00 1.58

time (sec)

N/A 0.670 6.619 13.125 0.000 0.108 0.000 0.000 1.094

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

171 171 898 385 0 203 0 0 255

N.S.

1 1.00 5.25 2.25 0.00 1.19 0.00 0.00 1.49

time (sec)

N/A 0.596 7.630 11.546 0.000 0.116 0.000 0.000 1.079

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

169 169 888 337 0 229 0 0 229

N.S.

1 1.00 5.25 1.99 0.00 1.36 0.00 0.00 1.36

time (sec)

N/A 0.466 7.743 9.076 0.000 0.130 0.000 0.000 1.091

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

161 161 879 654 0 223 0 0 251

N.S.

1 1.00 5.46 4.06 0.00 1.39 0.00 0.00 1.56

time (sec)

N/A 0.500 7.953 9.469 0.000 0.128 0.000 0.000 1.691

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

171 171 890 916 0 243 0 0 287

N.S.

1 1.00 5.20 5.36 0.00 1.42 0.00 0.00 1.68

time (sec)

N/A 0.511 8.450 11.998 0.000 0.131 0.000 0.000 2.732

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

204 204 925 902 0 263 0 0 307

N.S.

1 1.00 4.53 4.42 0.00 1.29 0.00 0.00 1.50

time (sec)

N/A 0.537 8.883 13.761 0.000 0.126 0.000 0.000 2.770

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

237 237 967 1151 0 283 0 0 552

N.S.

1 1.00 4.08 4.86 0.00 1.19 0.00 0.00 2.33

time (sec)

N/A 0.674 9.712 18.177 0.000 0.115 0.000 0.000 3.290

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

156 156 946 281 0 269 0 0 0

N.S.

1 1.00 6.06 1.80 0.00 1.72 0.00 0.00 0.00

time (sec)

N/A 0.302 7.418 6.043 0.000 0.126 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

123 123 893 262 0 250 0 0 0

N.S.

1 1.00 7.26 2.13 0.00 2.03 0.00 0.00 0.00

time (sec)

N/A 0.264 7.064 5.016 0.000 0.111 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

85 85 862 244 0 237 0 0 0

N.S.

1 1.00 10.14 2.87 0.00 2.79 0.00 0.00 0.00

time (sec)

N/A 0.254 6.910 4.190 0.000 0.121 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

83 83 858 243 0 241 0 0 0

N.S.

1 1.00 10.34 2.93 0.00 2.90 0.00 0.00 0.00

time (sec)

N/A 0.174 7.274 3.110 0.000 0.119 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

119 119 894 319 0 290 0 0 0

N.S.

1 1.00 7.51 2.68 0.00 2.44 0.00 0.00 0.00

time (sec)

N/A 0.199 7.619 4.175 0.000 0.120 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

153 153 931 466 0 320 0 0 0

N.S.

1 1.00 6.08 3.05 0.00 2.09 0.00 0.00 0.00

time (sec)

N/A 0.229 8.029 5.486 0.000 0.125 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

203 203 1024 465 0 383 0 0 0

N.S.

1 1.00 5.04 2.29 0.00 1.89 0.00 0.00 0.00

time (sec)

N/A 0.401 7.799 8.276 0.000 0.128 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

166 166 980 435 0 367 0 0 0

N.S.

1 1.00 5.90 2.62 0.00 2.21 0.00 0.00 0.00

time (sec)

N/A 0.362 7.527 7.706 0.000 0.126 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

136 136 945 421 0 352 0 0 0

N.S.

1 1.00 6.95 3.10 0.00 2.59 0.00 0.00 0.00

time (sec)

N/A 0.332 7.264 5.200 0.000 0.121 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

121 121 694 350 0 314 0 0 0

N.S.

1 1.00 5.74 2.89 0.00 2.60 0.00 0.00 0.00

time (sec)

N/A 0.321 7.046 4.584 0.000 0.106 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

121 121 695 350 0 318 0 0 0

N.S.

1 1.00 5.74 2.89 0.00 2.63 0.00 0.00 0.00

time (sec)

N/A 0.451 7.660 3.987 0.000 0.115 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

168 168 979 494 0 407 0 0 0

N.S.

1 1.00 5.83 2.94 0.00 2.42 0.00 0.00 0.00

time (sec)

N/A 0.524 7.748 4.276 0.000 0.131 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

201 201 1020 723 0 436 0 0 0

N.S.

1 1.00 5.07 3.60 0.00 2.17 0.00 0.00 0.00

time (sec)

N/A 0.406 8.102 6.472 0.000 0.110 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 254 482 493 0 495 0 0 0

N.S.

1 1.00 1.90 1.94 0.00 1.95 0.00 0.00 0.00

time (sec)

N/A 0.578 5.265 15.764 0.000 0.158 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 219 441 465 0 478 0 0 0

N.S.

1 1.00 2.01 2.12 0.00 2.18 0.00 0.00 0.00

time (sec)

N/A 0.579 4.100 15.413 0.000 0.126 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 400 451 0 467 0 0 0

N.S.

1 1.00 2.13 2.40 0.00 2.48 0.00 0.00 0.00

time (sec)

N/A 0.574 3.052 15.039 0.000 0.122 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 845 451 0 465 0 0 0

N.S.

1 1.00 4.69 2.51 0.00 2.58 0.00 0.00 0.00

time (sec)

N/A 0.722 6.475 5.330 0.000 0.112 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 664 451 0 465 0 0 0

N.S.

1 1.00 3.73 2.53 0.00 2.61 0.00 0.00 0.00

time (sec)

N/A 0.755 6.346 5.433 0.000 0.112 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

182 182 1029 451 0 465 0 0 0

N.S.

1 1.00 5.65 2.48 0.00 2.55 0.00 0.00 0.00

time (sec)

N/A 0.530 7.866 5.203 0.000 0.118 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

221 221 1069 685 0 521 0 0 0

N.S.

1 1.00 4.84 3.10 0.00 2.36 0.00 0.00 0.00

time (sec)

N/A 0.598 7.921 5.097 0.000 0.133 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) C F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

254 254 1110 876 0 548 0 0 0

N.S.

1 1.00 4.37 3.45 0.00 2.16 0.00 0.00 0.00

time (sec)

N/A 0.591 8.361 6.065 0.000 0.131 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 135 348 8220 151 0 0 0

N.S.

1 1.00 0.61 1.57 37.19 0.68 0.00 0.00 0.00

time (sec)

N/A 0.610 0.677 15.005 0.825 0.390 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 176 118 276 2981 134 0 0 0

N.S.

1 1.00 0.67 1.57 16.94 0.76 0.00 0.00 0.00

time (sec)

N/A 0.555 0.364 14.315 0.649 0.349 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 100 206 1851 117 0 0 0

N.S.

1 1.00 0.76 1.57 14.13 0.89 0.00 0.00 0.00

time (sec)

N/A 0.258 0.201 15.518 0.538 0.400 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 83 141 939 97 0 0 0

N.S.

1 1.00 1.06 1.81 12.04 1.24 0.00 0.00 0.00

time (sec)

N/A 0.191 0.109 18.239 0.462 0.356 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 86 116 245 109 0 0 0

N.S.

1 1.00 1.13 1.53 3.22 1.43 0.00 0.00 0.00

time (sec)

N/A 0.192 0.119 7.563 0.392 0.342 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 57 62 289 67 0 0 112

N.S.

1 1.00 0.67 0.73 3.40 0.79 0.00 0.00 1.32

time (sec)

N/A 0.193 0.100 7.331 0.347 0.288 0.000 0.000 1.643

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 78 86 428 86 0 0 194

N.S.

1 1.00 0.60 0.66 3.29 0.66 0.00 0.00 1.49

time (sec)

N/A 0.295 0.175 7.384 0.342 0.303 0.000 0.000 3.441

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 102 108 522 104 0 136951 479

N.S.

1 1.00 0.58 0.62 2.98 0.59 0.00 782.58 2.74

time (sec)

N/A 0.457 0.270 7.376 0.353 0.291 0.000 237.662 6.435

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 227 136 349 8904 162 0 0 0

N.S.

1 1.00 0.60 1.54 39.22 0.71 0.00 0.00 0.00

time (sec)

N/A 0.849 0.741 15.596 0.932 0.392 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 119 277 3023 144 0 0 0

N.S.

1 1.00 0.66 1.54 16.79 0.80 0.00 0.00 0.00

time (sec)

N/A 0.524 0.433 15.192 0.658 0.334 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 101 207 1884 125 0 0 0

N.S.

1 1.00 0.76 1.56 14.17 0.94 0.00 0.00 0.00

time (sec)

N/A 0.401 0.243 18.612 0.550 0.367 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 107 189 1801 135 0 0 0

N.S.

1 1.00 0.85 1.50 14.29 1.07 0.00 0.00 0.00

time (sec)

N/A 0.427 0.223 18.348 0.537 0.355 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 106 188 1124 133 0 0 0

N.S.

1 1.00 0.85 1.50 8.99 1.06 0.00 0.00 0.00

time (sec)

N/A 0.384 0.259 7.799 0.448 0.321 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 80 87 344 88 0 0 195

N.S.

1 1.00 0.60 0.65 2.57 0.66 0.00 0.00 1.46

time (sec)

N/A 0.538 0.209 7.443 0.338 0.337 0.000 0.000 3.226

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 181 102 109 481 107 0 147871 236

N.S.

1 1.00 0.56 0.60 2.66 0.59 0.00 816.97 1.30

time (sec)

N/A 0.716 0.311 7.655 0.337 0.288 0.000 260.783 7.065

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 228 124 131 573 126 0 0 289

N.S.

1 1.00 0.54 0.57 2.51 0.55 0.00 0.00 1.27

time (sec)

N/A 0.873 0.395 7.777 0.353 0.296 0.000 0.000 7.453

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 274 159 423 10042 194 0 0 0

N.S.

1 1.00 0.58 1.54 36.65 0.71 0.00 0.00 0.00

time (sec)

N/A 0.825 1.265 16.231 0.965 0.377 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 227 137 351 9415 174 0 0 0

N.S.

1 1.00 0.60 1.55 41.48 0.77 0.00 0.00 0.00

time (sec)

N/A 0.697 0.770 15.850 0.925 0.431 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 121 279 3071 154 0 0 0

N.S.

1 1.00 0.67 1.55 17.06 0.86 0.00 0.00 0.00

time (sec)

N/A 0.679 0.482 20.252 0.658 0.371 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 126 263 2080 164 0 0 0

N.S.

1 1.00 0.71 1.48 11.69 0.92 0.00 0.00 0.00

time (sec)

N/A 0.862 0.453 18.326 0.540 0.342 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 130 267 2370 169 0 0 0

N.S.

1 1.00 0.75 1.54 13.70 0.98 0.00 0.00 0.00

time (sec)

N/A 0.656 0.464 18.648 0.557 0.345 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 130 227 1548 161 0 0 0

N.S.

1 1.00 0.76 1.32 9.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.571 0.522 7.944 0.469 0.333 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 181 104 111 396 114 0 169051 551

N.S.

1 1.00 0.57 0.61 2.19 0.63 0.00 933.98 3.04

time (sec)

N/A 0.627 0.397 8.281 0.342 0.321 0.000 244.268 7.192

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 228 126 133 533 135 0 0 647

N.S.

1 1.00 0.55 0.58 2.34 0.59 0.00 0.00 2.84

time (sec)

N/A 0.712 0.497 7.871 0.346 0.286 0.000 0.000 8.703

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

275 275 147 155 626 156 0 0 773

N.S.

1 1.00 0.53 0.56 2.28 0.57 0.00 0.00 2.81

time (sec)

N/A 0.894 0.602 7.415 0.363 0.290 0.000 0.000 7.565

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 190 228 253 0 184 0 0 0

N.S.

1 1.00 1.20 1.33 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 0.900 0.390 16.231 0.000 2.437 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 167 188 0 168 0 0 0

N.S.

1 1.00 1.18 1.33 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.566 0.262 16.632 0.000 1.360 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 82 132 1221 96 0 0 0

N.S.

1 1.00 0.82 1.32 12.21 0.96 0.00 0.00 0.00

time (sec)

N/A 0.281 0.099 8.207 0.972 1.100 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 203 199 1188 143 0 0 0

N.S.

1 1.00 2.05 2.01 12.00 1.44 0.00 0.00 0.00

time (sec)

N/A 0.225 1.116 7.980 0.958 0.351 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B C A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

142 142 627 271 1485 163 0 0 0

N.S.

1 1.00 4.42 1.91 10.46 1.15 0.00 0.00 0.00

time (sec)

N/A 0.402 6.666 7.802 0.942 0.327 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

187 187 1759 309 1826 180 0 0 0

N.S.

1 1.00 9.41 1.65 9.76 0.96 0.00 0.00 0.00

time (sec)

N/A 0.605 7.242 7.205 0.966 0.327 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 197 255 381 0 237 0 0 0

N.S.

1 1.00 1.29 1.93 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.776 0.878 16.219 0.000 4.055 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 171 279 0 203 0 0 0

N.S.

1 1.00 1.18 1.92 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.665 0.808 5.455 0.000 3.122 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 184 213 0 164 0 0 0

N.S.

1 1.00 1.72 1.99 0.00 1.53 0.00 0.00 0.00

time (sec)

N/A 0.242 0.773 7.895 0.000 0.334 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

156 156 423 353 0 201 0 0 0

N.S.

1 1.00 2.71 2.26 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.465 2.593 7.906 0.000 0.325 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]